Optimal. Leaf size=415 \[ -\frac {x}{4 \sqrt [3]{a-\sqrt {-b^2}}}-\frac {x}{4 \sqrt [3]{a+\sqrt {-b^2}}}-\frac {\sqrt {3} b \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a-\sqrt {-b^2}}}}{\sqrt {3}}\right )}{2 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {\sqrt {3} b \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a+\sqrt {-b^2}}}}{\sqrt {3}}\right )}{2 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}-\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}-\frac {3 b \log \left (\sqrt [3]{a-\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {3 b \log \left (\sqrt [3]{a+\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.22, antiderivative size = 415, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 6, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.429, Rules used = {3566, 726, 57,
631, 210, 31} \begin {gather*} -\frac {\sqrt {3} b \text {ArcTan}\left (\frac {\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a-\sqrt {-b^2}}}+1}{\sqrt {3}}\right )}{2 \sqrt {-b^2} d \sqrt [3]{a-\sqrt {-b^2}}}+\frac {\sqrt {3} b \text {ArcTan}\left (\frac {\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a+\sqrt {-b^2}}}+1}{\sqrt {3}}\right )}{2 \sqrt {-b^2} d \sqrt [3]{a+\sqrt {-b^2}}}-\frac {3 b \log \left (\sqrt [3]{a-\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} d \sqrt [3]{a-\sqrt {-b^2}}}+\frac {3 b \log \left (\sqrt [3]{a+\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} d \sqrt [3]{a+\sqrt {-b^2}}}-\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} d \sqrt [3]{a-\sqrt {-b^2}}}+\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} d \sqrt [3]{a+\sqrt {-b^2}}}-\frac {x}{4 \sqrt [3]{a-\sqrt {-b^2}}}-\frac {x}{4 \sqrt [3]{a+\sqrt {-b^2}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 57
Rule 210
Rule 631
Rule 726
Rule 3566
Rubi steps
\begin {align*} \int \frac {1}{\sqrt [3]{a+b \tan (c+d x)}} \, dx &=\frac {b \text {Subst}\left (\int \frac {1}{\sqrt [3]{a+x} \left (b^2+x^2\right )} \, dx,x,b \tan (c+d x)\right )}{d}\\ &=\frac {b \text {Subst}\left (\int \left (\frac {\sqrt {-b^2}}{2 b^2 \left (\sqrt {-b^2}-x\right ) \sqrt [3]{a+x}}+\frac {\sqrt {-b^2}}{2 b^2 \sqrt [3]{a+x} \left (\sqrt {-b^2}+x\right )}\right ) \, dx,x,b \tan (c+d x)\right )}{d}\\ &=-\frac {b \text {Subst}\left (\int \frac {1}{\left (\sqrt {-b^2}-x\right ) \sqrt [3]{a+x}} \, dx,x,b \tan (c+d x)\right )}{2 \sqrt {-b^2} d}-\frac {b \text {Subst}\left (\int \frac {1}{\sqrt [3]{a+x} \left (\sqrt {-b^2}+x\right )} \, dx,x,b \tan (c+d x)\right )}{2 \sqrt {-b^2} d}\\ &=-\frac {x}{4 \sqrt [3]{a-\sqrt {-b^2}}}-\frac {x}{4 \sqrt [3]{a+\sqrt {-b^2}}}-\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}-\frac {(3 b) \text {Subst}\left (\int \frac {1}{\left (a-\sqrt {-b^2}\right )^{2/3}+\sqrt [3]{a-\sqrt {-b^2}} x+x^2} \, dx,x,\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} d}+\frac {(3 b) \text {Subst}\left (\int \frac {1}{\left (a+\sqrt {-b^2}\right )^{2/3}+\sqrt [3]{a+\sqrt {-b^2}} x+x^2} \, dx,x,\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} d}+\frac {(3 b) \text {Subst}\left (\int \frac {1}{\sqrt [3]{a-\sqrt {-b^2}}-x} \, dx,x,\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}-\frac {(3 b) \text {Subst}\left (\int \frac {1}{\sqrt [3]{a+\sqrt {-b^2}}-x} \, dx,x,\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}\\ &=-\frac {x}{4 \sqrt [3]{a-\sqrt {-b^2}}}-\frac {x}{4 \sqrt [3]{a+\sqrt {-b^2}}}-\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}-\frac {3 b \log \left (\sqrt [3]{a-\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {3 b \log \left (\sqrt [3]{a+\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}+\frac {(3 b) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a-\sqrt {-b^2}}}\right )}{2 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}-\frac {(3 b) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a+\sqrt {-b^2}}}\right )}{2 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}\\ &=-\frac {x}{4 \sqrt [3]{a-\sqrt {-b^2}}}-\frac {x}{4 \sqrt [3]{a+\sqrt {-b^2}}}-\frac {\sqrt {3} b \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a-\sqrt {-b^2}}}}{\sqrt {3}}\right )}{2 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {\sqrt {3} b \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a+\sqrt {-b^2}}}}{\sqrt {3}}\right )}{2 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}-\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {b \log (\cos (c+d x))}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}-\frac {3 b \log \left (\sqrt [3]{a-\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a-\sqrt {-b^2}} d}+\frac {3 b \log \left (\sqrt [3]{a+\sqrt {-b^2}}-\sqrt [3]{a+b \tan (c+d x)}\right )}{4 \sqrt {-b^2} \sqrt [3]{a+\sqrt {-b^2}} d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 0.26, size = 251, normalized size = 0.60 \begin {gather*} \frac {i \left (\frac {2 \sqrt {3} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a-i b}}}{\sqrt {3}}\right )}{\sqrt [3]{a-i b}}-\frac {2 \sqrt {3} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{a+b \tan (c+d x)}}{\sqrt [3]{a+i b}}}{\sqrt {3}}\right )}{\sqrt [3]{a+i b}}+\frac {\log (i-\tan (c+d x))}{\sqrt [3]{a+i b}}-\frac {\log (i+\tan (c+d x))}{\sqrt [3]{a-i b}}+\frac {3 \log \left (\sqrt [3]{a-i b}-\sqrt [3]{a+b \tan (c+d x)}\right )}{\sqrt [3]{a-i b}}-\frac {3 \log \left (\sqrt [3]{a+i b}-\sqrt [3]{a+b \tan (c+d x)}\right )}{\sqrt [3]{a+i b}}\right )}{4 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.31, size = 58, normalized size = 0.14
method | result | size |
derivativedivides | \(\frac {b \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6}-2 a \,\textit {\_Z}^{3}+a^{2}+b^{2}\right )}{\sum }\frac {\textit {\_R} \ln \left (\left (a +b \tan \left (d x +c \right )\right )^{\frac {1}{3}}-\textit {\_R} \right )}{\textit {\_R}^{5}-\textit {\_R}^{2} a}\right )}{2 d}\) | \(58\) |
default | \(\frac {b \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6}-2 a \,\textit {\_Z}^{3}+a^{2}+b^{2}\right )}{\sum }\frac {\textit {\_R} \ln \left (\left (a +b \tan \left (d x +c \right )\right )^{\frac {1}{3}}-\textit {\_R} \right )}{\textit {\_R}^{5}-\textit {\_R}^{2} a}\right )}{2 d}\) | \(58\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\sqrt [3]{a + b \tan {\left (c + d x \right )}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 7.24, size = 817, normalized size = 1.97 \begin {gather*} \frac {\ln \left (\frac {243\,b^5\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^5}+\frac {\frac {1944\,b^4\,\left (a^2-b^2\right )\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^2}+1944\,a\,b^4\,{\left (\frac {1}{d^3\,\left (b+a\,1{}\mathrm {i}\right )}\right )}^{2/3}\,\left (a^2+b^2\right )}{8\,d^3\,\left (b+a\,1{}\mathrm {i}\right )}\right )\,{\left (\frac {1}{b\,d^3+a\,d^3\,1{}\mathrm {i}}\right )}^{1/3}}{2}+\ln \left (\frac {243\,b^5\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^5}+\frac {\left (\frac {1944\,b^4\,\left (a^2-b^2\right )\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^2}+1944\,a\,b^4\,\left (a^2+b^2\right )\,{\left (\frac {b+a\,1{}\mathrm {i}}{d^3\,\left (a^2+b^2\right )}\right )}^{2/3}\right )\,\left (b+a\,1{}\mathrm {i}\right )}{8\,d^3\,\left (a^2+b^2\right )}\right )\,{\left (\frac {b+a\,1{}\mathrm {i}}{8\,a^2\,d^3+8\,b^2\,d^3}\right )}^{1/3}+\frac {\ln \left (\frac {243\,b^5\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^5}+\frac {\left (\frac {1944\,b^4\,\left (a^2-b^2\right )\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^2}+486\,a\,b^4\,{\left (\frac {1}{d^3\,\left (b+a\,1{}\mathrm {i}\right )}\right )}^{2/3}\,{\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )}^2\,\left (a^2+b^2\right )\right )\,{\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )}^3}{64\,d^3\,\left (b+a\,1{}\mathrm {i}\right )}\right )\,\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )\,{\left (\frac {1}{b\,d^3+a\,d^3\,1{}\mathrm {i}}\right )}^{1/3}}{4}-\frac {\ln \left (\frac {243\,b^5\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^5}-\frac {\left (\frac {1944\,b^4\,\left (a^2-b^2\right )\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^2}+486\,a\,b^4\,{\left (\frac {1}{d^3\,\left (b+a\,1{}\mathrm {i}\right )}\right )}^{2/3}\,{\left (1+\sqrt {3}\,1{}\mathrm {i}\right )}^2\,\left (a^2+b^2\right )\right )\,{\left (1+\sqrt {3}\,1{}\mathrm {i}\right )}^3}{64\,d^3\,\left (b+a\,1{}\mathrm {i}\right )}\right )\,\left (1+\sqrt {3}\,1{}\mathrm {i}\right )\,{\left (\frac {1}{b\,d^3+a\,d^3\,1{}\mathrm {i}}\right )}^{1/3}}{4}+\frac {\ln \left (\frac {243\,b^5\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^5}+\frac {\left (\frac {1944\,b^4\,\left (a^2-b^2\right )\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^2}+1944\,a\,b^4\,{\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )}^2\,\left (a^2+b^2\right )\,{\left (\frac {1{}\mathrm {i}}{8\,d^3\,\left (a+b\,1{}\mathrm {i}\right )}\right )}^{2/3}\right )\,{\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )}^3\,1{}\mathrm {i}}{64\,d^3\,\left (a+b\,1{}\mathrm {i}\right )}\right )\,\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )\,{\left (\frac {1{}\mathrm {i}}{8\,\left (a\,d^3+b\,d^3\,1{}\mathrm {i}\right )}\right )}^{1/3}}{2}-\frac {\ln \left (\frac {243\,b^5\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^5}-\frac {\left (\frac {1944\,b^4\,\left (a^2-b^2\right )\,{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{1/3}}{d^2}+1944\,a\,b^4\,{\left (1+\sqrt {3}\,1{}\mathrm {i}\right )}^2\,\left (a^2+b^2\right )\,{\left (\frac {1{}\mathrm {i}}{8\,d^3\,\left (a+b\,1{}\mathrm {i}\right )}\right )}^{2/3}\right )\,{\left (1+\sqrt {3}\,1{}\mathrm {i}\right )}^3\,1{}\mathrm {i}}{64\,d^3\,\left (a+b\,1{}\mathrm {i}\right )}\right )\,\left (1+\sqrt {3}\,1{}\mathrm {i}\right )\,{\left (\frac {1{}\mathrm {i}}{8\,\left (a\,d^3+b\,d^3\,1{}\mathrm {i}\right )}\right )}^{1/3}}{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________